trc1:= { S.sname | sailors(S) and
(exists R)
(reserves(R) and R.bid=103 and S.sid=R.sid )
};

 
 


trc2:= { S.sname | sailors(S) and
 (exists R)
 (reserves(R) and S.sid=R.sid and
(exists B)
(boats(B) and B.color='red' and B.bid = R.bid )
)
 };
 
 
 
 trc3:= { B.color | boats(B) and
 (exists R)
 (reserves(R) and B.bid=R.bid and
(exists S)
(sailors(S) and S.sname='Lubber' and S.sid=R.sid )
)
 };
 
 
 
 // Får bare ut 3, fordi det er 2 Horatio
 trc4:= { S.sname | sailors(S) and
 (exists R)
 (reserves(R) and S.sid=R.sid)
 };
 
 
trc4:= { S.sname, S.sid | sailors(S) and
 (exists R)
 (reserves(R) and S.sid=R.sid)
 };
 
 
 
 
 
 
trc5:= { S.sname | sailors(S) and
 (exists R)
 (reserves(R) and S.sid=R.sid and
(exists B)
(boats(B) and ( B.color='red' or B.color='green' ) and B.bid = R.bid )
)
 };
 
 
 

trc6:= { S.sname, S.sid | sailors(S) and
 (exists R1, R2)
 ( 
	reserves(R1) and reserves(R2) and
	R1.bid<>R2.bid and R1.sid=S.sid and R2.sid=S.sid and
	
	(exists B1, B2)
	(
	boats( B1 ) and boats(B2) and
	B1.bid=R1.bid and B2.bid=R2.bid and
	B1.color='red' and B2.color='green' 
	)
)
 };
 
 
 
 
trc7:= { S.sname, S.sid | sailors(S) and
(exists R1, R2)
( 
reserves(R1) and reserves(R2) and
R1.bid<>R2.bid and R1.sid=S.sid and R2.sid=S.sid
)
};





trc8:= { S.sname, S.sid | sailors(S) and S.age>20 and 
 not (exists R)
 ( 
	reserves(R) and
	R.sid=S.sid and
	
	(exists B)
	(
		boats( B ) and
		B.bid=R.bid and
		B.color='red' 
	)
)
};






trc9:= { S.sname, S.sid | sailors(S) and 
(forall B)
(
	not boats( B ) or
	(exists R)
	 ( 
		reserves(R) and
		R.sid=S.sid and
		B.bid=R.bid
	
	)
)
};






trc10:= { S.sname, S.sid | sailors(S) and 
(forall B)
(
	not boats( B ) or
	(exists R)
	 ( 
		reserves(R) and
		R.sid=S.sid and
		B.bid=R.bid
	
	)
	or B.bname<>'Interlake'
)
};